Revision: tla-tools--devo--0--patch-30
Archive: miles@gnu.org--gnu-2004
Creator: Miles Bader <miles@gnu.org>
Date: Fri Feb 20 09:29:20 JST 2004
Standard-date: 2004-02-20 00:29:20 GMT
Modified-files: tagline-funs.awk
New-patches: miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-30
Summary: Allow whitespace in sh-magic-cookie header tagline rule

